Hubert Comon-Lundh And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003869 | Reynald Af Feldt [Japon] ; Hubert Comon-Lundh [Japon] | Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables |
| 004C78 | Sergiu Bursuc [France] ; Hubert Comon-Lundh [France] ; Stéphanie Delaune [France] | Deducibility Constraints, Equational Theory and Electronic Money |
| 005E41 | Hubert Comon-Lundh ; Véronique Cortier | Tree automata with one memory, set constraints and cryptographic protocols |
| 006A00 | Hubert Comon-Lundh ; Véronique Cortier | Security properties : two agents are sufficient |
| 007454 | Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France] | Deciding the Confluence of Ordered Term Rewrite Systems |
| This area was generated with Dilib version V0.6.33. |  |